f: (a, b -> c, d -> e, g)
f
